多无人机协同探测快速目标的控制方法设计

针对无人机(unmannd aerial vehicle, UAV)对快速运动目标的协同探测问题, 设计了一种多UAV协同探测控制算法。首先假设每架UAV都携带相同的探测载荷, 根据载荷特性设计了针对快速运动目标的UAV协同探测队形。然后引入固定时间控制一致性协议到UAV载荷角度控制中, 控制载荷持续照射目标; 引入有限时间一致性协议到UAV编队控制中, 用以形成协同探测队形, 并通过二跳网络加快队形的收敛。通过将UAV队形控制与UAV载荷的角度控制相结合, 从而实现UAV对快速运动目标探测时间的最大化, 极大的延长了高速运动目标被发现的时间。最终通过理论分析和仿真实验证明了该控制算法的有效性。     

基于生物信息的未知二进制协议聚类方法

协议聚类是协议逆向工程技术中非常重要的一步，针对二进制协议更加透明且满足的协议种类更加广泛的特点，提出了一种基于基因和蛋白质生物信息的二进制协议聚类方法，能够从原始序列角度对大量协议直接进行聚类.本文方法首先将原始二进制报文转化成四进制基因形式，使用快速聚类方法计算碱基两两组合的k-seed值生成距离矩阵，并用UPGMA计算最小距离生成树得到初始分簇；其次，将每一簇四进制协议报文转化成十六进制蛋白质链，得到序列更有语义的方式并采用基于改进mBed算法的聚类方法将其进行高精度聚类.通过对已知和未知协议单纯和混合场景下的测试表明，该方法能够对二进制协议实现高效并且高准确率的聚类，具有较高的应用价值.     

一种面向IPv6的定制化路由备份机制

针对网络定制化能力和可靠路由问题，提出一种面向IPv6的定制化路由备份机制.该机制设计了路由定制化流程，使网络在满足多种应用差异化需求的基础上，考虑用户和网络服务提供商对网络的满意度最大化问题，并结合IPv6崭新的包头格式设计路由备份机制来增强网络的可靠性.仿真实验和性能分析表明，本机制通过二人博弈在选路由时均衡了用户和网络服务提供商的效用，使路由具备了定制化能力.在可靠性上，相比不存在定制的原IPv6路由，本机制在路由时间开销增加16.8%的基础上，预留了备份路径资源，使路由恢复响应时间缩短15%以上.     

基于Libmodbus的走航式海表温度传感器总线协议设计

针对船用海水表层水温观测以人工观测为主的现状，基于跨平台的Modbus库Libmodbus的走航式海洋表层水温监测系统，通过在船舶一侧布放处于船舶吃水线范围的水温传感器来采集表层水温信息。采用RS485/Modbus协议实现多站多点联网，构成分布式系统，进行海水表层温度的自动采集。上位机基于Modbus-RTU协议，并添加循环冗余校验以保证其对水温传感器的远程控制和表层水温信息采集功能的可靠性、安全性。该系统不仅运行稳定，操作简单方便，还具有可移植性和可扩展性。实验结果表明，该系统可以稳定可靠地监测海洋表层水温，实现表层水温的随船在线测量。     

Elucidating the diel and seasonal calling behaviour of Elachistocleis matogrosso (Anura: Microhylidae)

ABSTRACT

Acoustic monitoring provides the opportunity to study ecological processes that are difficult to assess with traditional surveys. Elachistocleis matogrosso is an anuran species, described in 2010, for which limited biological information is available. This study investigated the calling activity of the species in the north-eastern portion of the Pantanal, Brazil, a wetland area with marked seasonality between the dry and wet seasons. The calling activity of E. matogrosso was monitored using automated digital recorders in combination with automated signal recognition software over two different annual cycles. The species was vocally active only during the wet season (October – April), with a peak in November-December during the 2013–2014 annual cycle and in February-March during the 2015–2016 annual cycle. The peak calling activity occurred at dusk. This species has nocturnal habits and an explosive breeding activity. The detection of the species was intermittent, which suggests that environmental predictors or site-specific conditions might play an important role in species detection. Moreover, this intermittent occupancy indicated that surveys that employ traditional field techniques would likely fail to detect this species. We describe an effective protocol for detecting E. matogrosso with acoustic monitoring, which requires recording during 20 days in February from 17:01 to 05:00. Our procedure would be easy to adapt to other anuran species, and it could be used for investigating new localities and assessing population changes over time.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于改进离散粒子群算法构建制造单元

在未知最佳分群单元数的情况下,考虑了零件多种可选工艺路径和零件工艺顺序,建立基于最小化零件跨单元移动次数的数学模型.通过引入自适应变异因子,提出一种改进的离散粒子群优化算法能动态地确定分群单元数,极大地减少了算法陷入局部最优解的可能.通过对文献中不同规模的单元构建问题进行求解,结果证明了该方法有效,并且无需预先设定分群单元数即可获得与文献中相同甚至更好的结果.     

异构带宽约束的动态源组播路由

提出异构带宽约束的动态源组播路由(heterogeneous bandwidth-constrained dynamic source multicast routing, HBMR). 为了支持组成员的动态性和异质性,收集了组播树分布信息和组播树上节点的最大可接收能力信息. 并设计了一个基于该信息的异构带宽约束的动态源组播路由算法. 仿真实验结果表明,HBMR不但解决了异构带宽约束费用优化的动态组播路由问题,而且在路由成功率、路由消息开销和组播树占用的带宽资源等方面的性能都有综合提高.     

单片机总线技术结合Modbus-RTU协议的智能仪表通讯

为了克服传统仪表通讯技术传输距离短、实时性差、容错率低等缺点,提出一种基于MSP430F149单片机和Modbus-RTU协议的智能仪表通讯解决方案。阐述了Modbus-RTU协议的基本规范,对通信数据的接收、解析、校验、打包、发送等原理进行详细地分析,并对其硬件和软件的实现方法进行了详细介绍。通过协议测试软件Mod Scan32验证了该设计方案的可行性和稳定性。实践证明,采用MSP430系列单片机开发的现场总线技术以其低功耗、可靠、经济实用的特点在智能仪表系统中有着良好的应用前景。     

基于Ethernet IP协议的交流电参数检测仪表设计

针对电参数检测问题,设计一种新型电参数检测仪表,以ARM微处理器STM32F103为控制核心,利用电能计量专用芯片ADE7758作为电参数采集,并采用HMS公司的Anybus-Compact Com模块实现Ethernet IP工业以太网协议的仪表设计。设计结果表明,该仪表性能稳定、测量准确,具有良好的应用价值。